Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
401	VTrust: Regaining Trust on Virtual Calls Chao Zhang Scott A. Carr Tongxin Li Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Computing Method Data types C++ Virtual method table Control-flow integrity Dangling pointer Method overriding Pointer Control flow
402	Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant tifact “Every block of stone has a statue inside it and it is the task of the sculptor to discover it.” Add to Reading List Source URL: pit-claudel.fr Language: English - Date: 2014-11-16 16:27:57
403	Informatik und Angewandte Kognitionswissenschaft Lehrstuhl f¨ ur Hochleistungsrechnen Thomas Fogal Prof. Dr. Jens Kr¨ uger Add to Reading List Source URL: hpc.uni-due.de Language: English - Date: 2014-10-28 15:14:20 Software engineering Computing Computer programming Data types C++ C standard library Const Sort Pointer New and delete Sequence container C dynamic memory allocation
404	Detecting memory leaks in managed languages with Cork∗ Maria Jump1 and Kathryn S McKinley2 1 King’s College 2 The University of Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2009-09-16 09:56:58 Memory management C++ Heap Data types Garbage Memory leak C dynamic memory allocation D-ary heap Java New and delete Pointer Priority queue
405	MINING LARGE GRAPHS David F. Gleich, Michael W. Mahoney 1 introduction Graphs provide a general representation or data model for many types of data where pair-wise relationships are known or thought to be particularly im Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2016-03-04 00:35:25 Graph theory Algebraic graph theory Graph Neighbourhood Adjacency list Centrality Adjacency matrix Implicit graph Bipartite graph
406	BS-Entwicklung mit Literate Programming Foliensatz 7: Interrupts und Faults Hans-Georg Eßer TH Nürnberg Add to Reading List Source URL: ohm.hgesser.de Language: English - Date: 2014-11-18 08:03:39 Computing Software engineering C Computer programming Interrupts Data types Typedef Interrupt Sizeof C++ classes Struct Bit field
407	Application Note: Associative Array (a.k.a. JudySLProblem How did the Judy authors use JudyL to create an associative array (JudySL)? Add to Reading List Source URL: judy.sourceforge.net Language: English - Date: 2004-09-10 16:20:39 Data types Array data type Pointer Associative array String Judy array D Suffix
408	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computer programming Computing Search algorithms Data types Type theory Enumerated type Lambda calculus Scala Foreach loop Combinatory logic Comparison of C Sharp and Java
409	Introduction to Rcpp and RcppArmadillo Pre-Conference Tutorial Dirk Eddelbuettel R/Finance 2016 May 20, 2016 Add to Reading List Source URL: dirk.eddelbuettel.com Language: English - Date: 2016-05-23 22:56:13 Subroutines Lambda calculus Data types Recursion
410	160-6 m (internal 2 m option planned) SSB/CW/AM/FM/DATA modes 10 W output (100 W with KXPA100 amp) World-class receive performance Built-in advanced 32-bit DSP Add to Reading List Source URL: www.elecraft.com Language: English - Date: 2012-04-12 20:00:00 Radio Amateur radio Elecraft Packet radio PSK31 Radioteletype Roofing filter Transceiver Types of radio emissions

UPDATE